Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
931	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.ibcp.fr Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
932	Boosting with Incomplete Information Gholamreza Haffari1∗ Yang Wang1∗ Shaojun Wang2 Greg Mori1 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-05-20 17:07:06 Ensemble learning Supervised learning Kullback–Leibler divergence Margin classifier AdaBoost Quasigroup Mutual information Lambda calculus Statistics Mathematics Machine learning
933	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.math.utah.edu Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
934	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.klaus-uwe.me Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
935	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.jaist.ac.jp Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
936	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.neu.edu.cn Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
937	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, [removed] Add to Reading List Source URL: tug.ctan.org Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
938	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.math.washington.edu Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
939	Brief Calculus - Not Algebra Gene W. Bennett University of Evansville Use of DERIVE in a one-term calculus course facilitates the teaching of calculus concepts without being unduly impeded by student deficiencies in alge Add to Reading List Source URL: archives.math.utk.edu Language: English - Date: 1996-07-17 00:00:00 Mathematics education Lambda calculus Integral Function Geometry Algebra Advanced Placement Calculus Mathematics education in Australia Mathematics Functions and mappings Calculus
940	Microsoft Word - Translation?????????????? ?????? ?????.doc Add to Reading List Source URL: ajm.asj-oa.am Language: English - Date: 2011-04-18 18:23:00 Lambda calculus Logic in computer science Information theory Affine transformation Mathematics Transformation Combinatory logic

UPDATE